Публикации с тэгом "Concurrency (computer science)"
СТАТЬЯ Что нового в Visual Studio11 уже сейчас
Больше месяца назад, на конференции Build была продемонстрирована Visual Studio 11 CTP. Давайте посмотрим, что нас ждет в будущем, что мы можем увидеть уже сейчас. Не стоит ждать революции. Не знаю как Вы, а я не люблю революций в дизайне, поэтому я доволен, что внешне VS2010 и VS11 практически не отличимые. Конечно, еще многое изменится до релиза, но я надеюсь что, дизайн трогать, сильно не будут. Стартовые страницы так вообще отличаются только названием Team explorer и Solution Explorer мини...
СТАТЬЯ
Concurrency vs. Parallelism
Если углубляться в тему многопоточности то существует два понятия: Concurrency и Parallelism. Раньше когда большинство компьютеров содержали одно ядро и одно CPU вопрос в разнице не стоял. Теперь же литература пестрит этими двумя понятиями. Какая же между ними разница? Concurrency – это программирование с несколькими действиями одновременно (например одновременное обращение к серверу за данными и при этом работа с клиентским приложением без подвисаний). Этот английский термин больше подходит к р...
СТАТЬЯ Microsoft Research представит ряд проектов на Microsoft PDC10
Research in Software Engineering (RiSE) на предстоящей конференции Microsoft PDC10 продемонстрирует 16 проектов. Рассморим их более подробно. BEK Сайт: http://research.microsoft.com/en-us/projects/bek/ BEK - это предметно-ориентированный язык программирования для написания строковых функций общего назначения с примесью анализа. С помощью BEK можно будет ответить на вопросы типа Вернут ли эти две программы одинаквые строки? ("Do these two programs output the same string?") Может ли эта программа...
СТАТЬЯ CHESS: инструмент для тестирования мультипотоковых приложений
В продолжении темы о новых инструментах тестирования так называемых гейзенберговских ошибок (от Microsoft Research) предлагаю ознакомиться с проектом CHESS. CHESS - это инструмент для систематического тестирования мультипотоковых (concurrency) приложений. CHESS методично проходит все возможные варианты работы приложения, помогая найти assertions, deadlocks, livelocks, и data races. При нахождении ошибки, CHESS может воспроизвести поток, вызвавший ошибку. Доступны версии для управляемого и неупра...